Boolean Operations In Computer-aided Design